Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting.
By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymorphism, larger-scale programming. [University of Kent]